Kriterien für die Zertifizierung von Kohlenstoffsenken in Landwirtschaftsböden

Im Rahmen der Klimadiskussion sind auch CO2-Zertifikate* für die Einlagerung von Kohlenstoff in Landwirtschaftsböden (Kohlenstoffsenken) im Gespräch. Doch bevor solche Zertifikate ausgegeben werden, muss sichergestellt werden, dass die Kohlenstoffsenken zu einer effektiven Reduktion von Klimagasen beitragen. Damit dies geschehen kann, müssen vier Kriterien erfüllt sein

TuBound - A Conceptually New Tool for Worst-Case Execution Time Analysis

TuBound is a conceptually new tool for the worst-case execution time (WCET) analysis of programs. A distinctive feature of TuBound is the seamless integration of a WCET analysis component and of a compiler in a uniform tool. TuBound enables the programmer to provide hints improving the precision of the WCET computation on the high-level program source code, while preserving the advantages of using an optimizing compiler and the accuracy of a WCET analysis performed on the low-level machine code. This way, TuBound ideally serves the needs of both the programmer and the WCET analysis by providing them the interface on the very abstraction level that is most appropriate and convenient to them. In this paper we present the system architecture of TuBound, discuss the internal work-flow of the tool, and report on first measurements using benchmarks from Maelardalen University. TuBound took also part in the WCET Tool Challenge 2008

A Framework for Diagnosis of Critical Faults in Unmanned Aerial Vehicles

Unmanned Aerial Vehicles (UAVs) need a large degree of tolerance towards faults. If not diagnosed and handled in time, many types of faults can have catastrophic consequences if they occur during flight. Prognosis of faults is also valuable and so is the ability to distinguish the severity of the different faults in terms of both consequences and the frequency with which they appear. In this paper flight data from a fleet of UAVs is analysed with respect to certain faults and their frequency of appearance. Data is taken from a group of UAV's of the same type but with small differences in weight and handling due to different types of payloads and engines used. Categories of critical faults, that could and have caused UAV crashes are analysed and requirements to diagnosis are formulated. Faults in air system sensors and in control surfaces are given special attention. In a stochastic framework, and based on a large number of data logged during flights, diagnostic methods are employed to diagnose faults and the performance of these fault detectors are evaluated against flight data. The paper demonstrates a significant potential for reducing the risk of unplanned loss of remotely piloted vehicles used by the Danish Navy for target practice.This is the authors' accepted and refereed manuscript to the article. Author's post-print must be released with a Creative Commons Attribution Non-Commercial No Derivatives License

Critères de certification pour les puits de carbone dans les sols agricoles

Les certificats* de CO2 peuvent théoriquement être attribués pour les puits de carbone dans les sols agricoles et font l’objet de discussions dans le cadre du débat sur le climat. Mais avant que ces certificats ne puissent être délivrés, il faut s’assurer que les puits de carbone dans les sols contribuent à une réduction effective des gaz à effet de serre. Pour cela, quatre critères devraient être remplis

Hydrophilic polymeric coatings for enhanced, serial-siphon based flow control on centrifugal lab-on-disc platforms

In this paper, we implement rotational flow control on a polymeric microfluidic “lab-on-a-disc” device by combining serial siphoning and capillary valving for sequential release of on-board stored liquid reagents. The functionality of this integrated, multi-step centrifugal assay platform is tightly linked by the capability to establish reproducible, capillary-driven priming of the innately hydrophobic siphon microchannels. We here demonstrate for the first time that spin-coated hydrophilic polymeric films of poly(vinyl alcohol) and (hydroxylpropyl)methylcellulose provide stable contact angles

Development and preliminary validation of the Salzburg Stress Eating Scale

Stress-related eating has long been a focus of study in several disciplines. Currently available psychometric scales conflate stress-related eating with emotional eating despite that not all stress states can be subsumed under some form of specific emotion. Moreover, existing measures primarily assess increased food intake in response to emotions and stress, thus ignoring evidence of decreased food intake in response to stress. Therefore, we drew from established stress concepts to develop the first genuine stress-related eating scale (Salzburg Stress Eating Scale [SSES]) in both German and English versions. In the SSES higher scores indicate eating more when stressed and lower scores indicate eating less when stressed. In study 1 (n = 340), the German SSES was found to have a one-factor structure (a = .89). SSES scores were weakly or moderately correlated with other eating-related constructs (e.g., emotional eating, body mass index [BMI]), and weakly correlated or uncorrelated with non-eating-related constructs (e.g., impulsivity, perceived stress); in addition, women had higher scores than men. Perceived stress moderated the association between stress eating and BMI, such that higher SSES scores were significantly related to higher BMI in individuals with high perceived stress, but not in individuals with low perceived stress. In studies 2 (n = 790) and 3 (n = 331), factor structure, internal consistency, and associations with sex and BMI were replicated for both German and English versions of the SSES. Hence, the SSES represents a psychometrically sound tool for the measurement of stress-related eating